home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / theorems / miguel.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  972 b   |  23 lines
  1. .geometry "version 0.1";
  2. v1 = .free(-0.757463, -0.399254, .yellow, "1");
  3. v2 = .free(-0.037313, 0.716418, .yellow, "2");
  4. v3 = .free(0.847015, 0.268657, .yellow, "3");
  5. l1 = .l.vv(v1, v2);
  6. l2 = .l.vv(v2, v3);
  7. l3 = .l.vv(v3, v1);
  8. v4 = .vonl(l1, -0.542915, -0.0668713, .plus);
  9. v5 = .vonl(l2, 0.35626, 0.51714, .plus);
  10. v6 = .vonl(l3, -0.132544, -0.139113, .plus);
  11. c1 = .c.vvv(v1, v6, v4, .magenta);
  12. c2 = .c.vvv(v2, v4, v5, .magenta);
  13. c3 = .c.vvv(v5, v6, v3, .magenta);
  14. v7 = .v.cc(c1, c2, 1, .cyan);
  15. .text("Miguel's Theorem:");
  16. .text("");
  17. .text("Given an arbitrary triangle 123, choose any three points with");
  18. .text("one on each of the sides of the triangle.  Through each vertex");
  19. .text("and the two points on adjacent sides, construct the circle");
  20. .text("passing through those three points.  All three circles intersect");
  21. .text("in the same point.  In the figure, any of the triangle's vertices");
  22. .text("and any of the points on the sides of the triangle can be moved.");
  23.